<?php
    include 'prelude.php';
    echo "<script> window.location = \"./index.php\"</script>";
    unset( $_SESSION[ 'username' ] ) ;
?> 